Unstaging Translation of Cross-Stage Persistent Multi-Staged Programs
نویسندگان
چکیده
We present a semantic-preserving unstaging translation of crossstage persistent multi-staged programs into context calculus. Unlike Lisp-like multi-staged programs, cross-stage persistent multistaged programs allow variables of any stage to be used in all future stages (cross-stage persistence) and do not allow intentional variable-capturing substitution. We find that cross-stage persistent multi-staged programs are naturally unstaged to the context calculus. The unstaging translation enables static analysis by 1) unstaging the source program, 2) analyzing the unstaged program using the conventional static analysis techniques, and 3) projecting the analysis result back to the source language. Coupled with Choi et al. [4], our unstaging translation provides static analysis framework for both of the two staging semantics: CSP and Lisp-like multistaged languages.
منابع مشابه
Multi-Stage Programming: Axiomatization and Type Safety
Multi staged programming provides a new paradigm for constructing e cient solutions to complex problems Techniques such as program generation multi level partial evaluation and run time code generation respond to the need for general purpose solutions which do not pay run time interpretive overheads This paper provides a foundation for the formal analysis of one such system We introduce a multi...
متن کاملMetaML: Multi-Stage Programming with Explicit Annotations
We introduce MetaML, a practically-motivated, statically-typed multi-stage programming language. MetaML allows the programmer to construct, combine, and execute code fragments in a type-safe manner. Code fragments can contain free variables, but we ensure that the language obeys the static-scoping principle. MetaML performs type-checking for all stages once and for all before the execution of t...
متن کاملIntegrating Normalization-by-Evaluation into a Staged Programming Language
We have designed MetaML a multi-stage programming language, as a meta-programming system, i.e. a system which is used to write programs (meta-programs) whose sole purpose is to build and manipulate other programs (objectprograms). MetaML programs are simply ML programs which are annotated with staging operators. There is a strong connection between o -line partial evaluation and staged programm...
متن کاملPersistent bovine viral diarrhea virus (BVDV) infection in cattle herds
Bovine viral diarrhea virus (BVDV) is a significant pathogen associated with gastrointestinal, respiratory, and reproductive diseases of cattle worldwide. It causes continuous economic losses to the cattle industry primarily due to decreased reproductive performance. The ability of virus to cross the placenta during early pregnancy can result in the birth of persistently infected (PI) calves. P...
متن کاملMulti-Stage Programming: Axiomatization and Type Safety
Multi-staged programming provides a new paradigm for constructing eecient solutions to complex problems. Techniques such as program generation, multi-level partial evaluation, and run-time code generation respond to the need for general purpose solutions which do not pay run-time interpretive overheads. This paper provides a foundation for the formal analysis of one such system. We introduce a ...
متن کامل